Comprehensive account of constructive theory of first-order predicate calculus. Covers formal methods including algorithms and epi-theory, brief treatment of Markov's approach to algorithms, elementary facts about lattices and similar algebraic systems, more. Philosophical and reflective as well as mathematical. Graduate-level course. 1963 edition. Exercises.

Comprehensive account of constructive theory of first-order predicate calculus. Covers formal methods including algorithms and epi-theory, brief treatment of Markov's approach to algorithms, elementary facts about lattices and similar algebraic systems, more. Philosophical and reflective as well as mathematical. Graduate-level course. 1963 edition. Exercises.

F. H. Bradley (1846-1924) was the foremost philosopher of the British Idealist school, which came to prominence in the second half of the nineteenth century and remained influential into the first half of the twentieth. Bradley, who was influenced by Hegel and also reacted against utilitarianism, was recognised during his lifetime as one of the greatest intellectuals of his gen...(展开全部)

F. H. Bradley (1846-1924) was the foremost philosopher of the British Idealist school, which came to prominence in the second half of the nineteenth century and remained influential into the first half of the twentieth. Bradley, who was influenced by Hegel and also reacted against utilitarianism, was recognised during his lifetime as one of the greatest intellectuals of his gen...(展开全部)

This introduction to first-order logic clearly works out the role of first-order logic in the foundations of mathematics, particularly the two basic questions of the range of the axiomatic method and of theorem-proving by machines. It covers several advanced topics not commonly treated in introductory texts, such as Fraisse's characterization of elementary equivalence, Lindstro...(展开全部)